#!/bin/sh
ppid=$(ps -ef|grep 'Dhantang_web_server'|grep -v grep|awk '{print $2}')
if [ "$ppid" != "" ] ;then
	echo "kill Dhantang_web_server process, $ppid"
	kill $ppid
else
	echo "not find the  Dhantang_web_server process!"
fi

